National Institute for Research in Computer Science and Control - PDFSEARCH.IO - Document Search Engine

National Institute for Research in Computer Science and Control
Results: 71

#	Item
21	Microsoft Word - iwdynaffiche.doc Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2008-09-17 10:43:43 Institut national des sciences appliquées National Institute for Research in Computer Science and Control Institut National des Sciences Appliquées de Rennes INSA Rennes Télécom ParisTech Grandes écoles France Institut de recherche en informatique et systèmes aléatoires
22	Genetic and Evolutionary Computation Conference 2008 Conference Program Table of Contents GECCO is evolving! ........................................................................... 1 Program Outline.................. Add to Reading List Source URL: www.sigevo.org Language: English - Date: 2013-10-03 14:42:57 Association for Computing Machinery Enrique Alba Evolutionary computation École Polytechnique Fédérale de Lausanne National Institute for Research in Computer Science and Control Institute of technology American University of Science and Technology National university University of Freiburg Education Academia Knowledge
23	Projects Showcase at STAF’15 -‐ Call for Paper Goals and Scope During the last decade a number of national and internationa Add to Reading List Source URL: www.disim.univaq.it Language: English - Date: 2015-01-29 08:10:04 Research Project management Electronic submission Algorithmic Number Theory Symposium Program management National Institute for Research in Computer Science and Control Software Testing Automation Framework Mathematics Applied mathematics Competitions Digital media Grants
24	Bibliography [AC96] Mar´ıa-Virginia Aponte and Giuseppe Castagna. Programmation modulaire avec surcharge et liaison tardive. In Journ´ees Francophones des Langages Applicatifs. INRIA, January 1996. Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages Caml ML National Institute for Research in Computer Science and Control International Conference on Functional Programming SIGPLAN Xavier Leroy Functional programming Programming language Software engineering Computing Computer programming
25	The Why3 platform Version 0.85, September 2014 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2014-09-17 04:10:47 Functional languages Theoretical computer science Automated theorem proving Formal methods Coq Proof assistant OCaml National Institute for Research in Computer Science and Control Isabelle Computing Software engineering Software
26	Projects Showcase at STAF’15 - Call for Paper Goals and Scope During the last decade a number of national and international financial instruments have been funding research, innovation and development programmes. From Add to Reading List Source URL: www.disim.univaq.it Language: English - Date: 2015-01-29 08:10:02 Research Project management Algorithmic Number Theory Symposium Electronic submission Program management National Institute for Research in Computer Science and Control Software Testing Automation Framework Mathematics Applied mathematics Competitions Digital media Grants
27	CALL FOR PAPERS http://www.netys.net General Chairs Mohammed Erradi Rachid Guerraoui Add to Reading List Source URL: netys.net Language: English - Date: 2014-11-06 15:42:50 Electronic submission National Institute for Research in Computer Science and Control Education Knowledge Lecture Notes in Computer Science Abstract management
28	INRIA Bordeaux Sud-Ouest 200, avenue de la vieille tour[removed]Talence Tél.: +[removed]Fax: +[removed] Add to Reading List Source URL: www.pyoudeyer.com Language: English - Date: 2015-03-13 09:15:48 Institute of Electrical and Electronics Engineers Human–robot interaction Robot Technology Engineering Science Robotics Developmental robotics National Institute for Research in Computer Science and Control
29	Complete Papers of Philippe Flajolet assembled by Mark Daniel Ward (version of March 25, [removed]Papers [PF001]–[PF208] Listed by Co-Author Add to Reading List Source URL: aofa.cs.purdue.edu Language: English - Date: 2012-03-25 10:16:51 Philippe Flajolet Maurice Nivat National Institute for Research in Computer Science and Control Theoretical computer science Analytic combinatorics Discrete Mathematics International Colloquium on Automata Languages and Programming European Symposium on Algorithms Combinatorics Mathematics Computer science Academia
30	Some examples of algorithmic contributions on high performance computing driven by highly demanding applications St´ephane Lanteri Inria Sophia Antipolis - M´editerran´ee, France Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2014-10-17 12:26:27 Numerical software Computational science Numerical linear algebra National Institute for Research in Computer Science and Control Theoretical computer science Mathematica Computational electromagnetics Exascale computing Parallel computing Software Mathematical software Science